火工品可靠性试验数据的综合分析方法

升降法试验数据和固定刺激量下的成败型试验数据,是两种最常见的火工品可靠性试验数据．我们应用Markov链,研究了升降法试验数据下,感度分布参数的极大似然估计的特性．在此基础上,应用Bootstrap方法和Bayes方法,给出了综合分析两种试验数据的方法．最后,将该方法应用于520底火的可靠性鉴定,得出了有益的结论．     

Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

求解比例延迟微分方程的Rosenbrock方法的渐近稳定性(英文)

本文讨论了一类Rosenbrock方法求解比例延迟微分方程,y′(t)=λy(t) μy(qt),λ,μ∈C,0     

Flat-top interleavers with chromatic dispersion compensator based on phase dispersive free space Mach-Zehnder interferometer

In this paper, novel interleavers using circular cavities (CC) in a Mach-Zehnder interferometer (MZI) has been presented and demonstrated for the first time, in which CCs act as phase dispersive mirrors which exhibit a periodic dependence on the frequency of light. Three implementation schemes have been proposed and investigated. Theoretical analysis shows the spectral characteristics of each scheme in a 50-GHz channel spacing application. Furthermore, the chromatic dispersion (CD) of each output comb can be flattened within passband by appending an additional CC. The result shows that the proposed designs with novel interferometer technique can simultaneously provide flat top passbands, high isolation stopband and low CD value as well.     

Complete systems, elementary submodels and the tightness of upper hyperspaces

We introduce and study some completeness properties for systems of open coverings of a given topological space. A Hausdorff space admitting a system of cardinality κ satisfying one of these properties is of type Gκ. Hence, we define several new variants of the ?ech number and use elementary submodels to determine further results. We introduce M-hulls and M-networks, for M elementary submodel. As an application, we give estimates for both the tightness and the Lindelöf number of a generic upper hyperspace. Two recent results of Costantini, Holá and Vitolo on the tightness of co-compact hyperspaces follow from ours as corollaries.     

全气相化学激光体系的直流放电研究

 为了提高化学激光体系(AGIL)中F原子的产率，采用直流放电引发方式，对棒式电极的放电特性进行了研究。在对NF3/He混合气体进行解离时，通过选择不同平衡电阻，得到了3 kW左右的放电注入功率。用光谱分析仪对F原子产率进行了测量。通过拟合计算可得：一个NF3分子能够解离出1.3～1.5个F原子。     

动态柱形空穴膨胀模型及其在侵彻问题中的应用

 在侵彻问题中的应用进行了研究。通过采用相似变换求解塑性区控制方程，获得了动态柱形空穴膨胀中的弹塑性界面速度、径向应力分布、空穴表面应力的解。基于柱形空穴模型，推导了侵彻方程，并将其得到的预测结果与侵彻实验数据进行了比较。结果表明，模型的理论解与现有数据吻合得很好。 结果还显示了材料的可压缩性和塑性强化模量对柱形空穴膨胀以及侵彻阻力的影响。     

几类B值小指标鞅空间的原子分解

本文对几类B值小指标鞅空间建立了原子分解定理,利用原子分解讨论了它们之间的相互嵌入关系,其原子分解的存在性和它们之间的关系均与Banach空间的凸性和光滑性有密切联系.     

动力系统的稳定化问题

In this paper, we are concerned with the problem of stabilization for autonomous dynamical systems. We use theories in Liapunov stability and Lasalle stability theory and show that system (H) is stabilizable.